Differentiation proofs